Mathematical objects - PDFSEARCH.IO - Document Search Engine

Mathematical objects
Results: 135

#	Item
51	Certain Answers as Objects and Knowledge Leonid Libkin School of Informatics, University of Edinburgh Abstract The standard way of answering queries over incomplete Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 15:00:03 Model theory Relational model FO Function Closed world assumption Lambda calculus SQL Interpretation Structure Mathematical logic Mathematics Logic
52	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
53	Centre de Morphologie Mathematique 35, rue Saint-HonoreFontainebleau (F~~NCE) Let X be a population of objects. Given two arbitrary points Add to Reading List Source URL: cmm.ensmp.fr Language: English - Date: 2010-05-17 04:09:53 Metric geometry Metric Geodesic Continuous function Lukaszyk–Karmowski metric Mutual information Geometry Mathematics Mathematical analysis
54	Value Objects Brendan Eich <> Thursday, July 25, 13 Add to Reading List Source URL: esdiscuss.org Language: English C++ Recursion C++ classes Fixed-point combinator FO Boolean algebra Relational operator Finitary relation Distance from a point to a line Theoretical computer science Mathematics Mathematical logic
55	All Finite Fields Have a Prime-Power Order Morphisms, Cauchy’s Theorem, and Proof of Theorem Daniel R. Page, 2011 (Updated December 20, 2012) Morphisms are a powerful tool in proving properties of mathematical objects Add to Reading List Source URL: www.pagewizardgames.com Language: English - Date: 2014-09-02 14:47:09 Field theory Morphisms Niels Henrik Abel Finite field Abelian group Automorphism Order Field Group homomorphism Abstract algebra Algebra Group theory
56	Annuaire de l’Universite de Sofia “St. Kliment Ohridski”, Faculte de Physique, 102, 2009 Pulsed ultrasonic imaging by convolution of the Fourier transforms of transmitted through elementary sub-objects acoustic fi Add to Reading List Source URL: www.phys.uni-sofia.bg Language: English - Date: 2009-11-16 06:37:48 Integral transforms Functional analysis Image processing Convolution Fourier transform Fourier series Fourier inversion theorem Distribution Deconvolution Mathematical analysis Fourier analysis Joseph Fourier
57	Chapter 5 Basic Principles of Linear Analysis Mathematical objects studied in Linear Analysis are linear transformations between vector spaces endowed with proper concepts of limit. Linear Analysis, therefore, provides Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2014-05-26 04:51:49 Functional analysis Uniform boundedness principle Open mapping theorem Convex function Vector space Banach space Continuous function Hilbert space Operator Mathematics Mathematical analysis Algebra
58	Found Mathematical Objects by Tom Johnson The idea is simple. Find an object, any object, declare it a work of art, and it is a work of art. Art becomes truly objective, just an object, artistic techniques become unneces Add to Reading List Source URL: www.editions75.com Language: English - Date: 2006-10-14 10:25:53 Latin language Œ Equals sign Latin alphabets
59	Curvelets – A Surprisingly Effective Nonadaptive Representation For Objects with Edges Emmanuel J. Cand`es and David L. Donoho Abstract. It is widely believed that to efficiently represent an otherwise smooth object wi Add to Reading List Source URL: www.curvelet.org Language: English - Date: 2013-08-09 15:51:51 Curvelet Time–frequency analysis Mathematics Functional analysis Wavelet Daubechies wavelet Fourier series Discontinuity Overcompleteness Wavelets Mathematical analysis Image processing
60	New Tight Frames of Curvelets and Optimal Representations of Objects with C 2 Singularities Emmanuel J. Cand`es Applied and Computational Mathematics California Institute of Technology Pasadena, California 91125 Add to Reading List Source URL: www.curvelet.org Language: English - Date: 2013-08-09 15:51:51 Fourier transform JPEG Wavelets Mathematical analysis Curvelet